Domains in H
نویسندگان
چکیده
We give various internal descriptions of the category !-Cpo of !-complete posets and !-continuous functions in the model H of Synthetic Domain Theory introduced in 8]. It follows that the !-cpos lie between the two extreme synthetic notions of domain given by repleteness and well-completeness.
منابع مشابه
SOLVING SINGULAR ODES IN UNBOUNDED DOMAINS WITH SINC-COLLOCATION METHOD
Spectral approximations for ODEs in unbounded domains have only received limited attention. In many applicable problems, singular initial value problems arise. In solving these problems, most of numerical methods have difficulties and often could not pass the singular point successfully. In this paper, we apply the sinc-collocation method for solving singular initial value problems. The ability...
متن کاملComposition operators between growth spaces on circular and strictly convex domains in complex Banach spaces
Let $\Omega_X$ be a bounded, circular and strictly convex domain in a complex Banach space $X$, and $\mathcal{H}(\Omega_X)$ be the space of all holomorphic functions from $\Omega_X$ to $\mathbb{C}$. The growth space $\mathcal{A}^\nu(\Omega_X)$ consists of all $f\in\mathcal{H}(\Omega_X)$ such that $$|f(x)|\leqslant C \nu(r_{\Omega_X}(x)),\quad x\in \Omega_X,$$ for some constant $C>0$...
متن کاملDistributed Leadership in Tehran’s Elementary Schools: A Qualitative Exploration of Cultural Domains
In order to explore the cultural domains of Tehrani elementary schools vis-à-vis distributed leadership, a sample of 16 teachers, 8 assistant principals, and 8 principals was selected purposefully from districts 2, 6, and 11. The informants were interviewed in a semi-structured fashion. Data analyses revealed 19 main factors upon which a model for the cultural domains of the elementary schools...
متن کاملStudy of the Education and Research Quality in Basic Sciences through Internal Evaluation in two Consecutive Educational Years in MUMS
Introduction: Continuous quality promoting in education and research also validity of every university require adopting suitable mechanisms for evaluating quality and validity. Internal evaluation is one of tools that can evaluate systematically education and research status in universities to reach a standard situation. The present study with the aim of investigating research and education qua...
متن کاملConstruction of vaccine from Lactococcus lactis bacteria using Aeromonas hydrophila virulent Aerolysin gene
In this study the forward and reverse primers were designated to amplify the segments (~250 bps and ~650 bps) of the gene coding domains 1 and 4 of aerolysin of Aeromonas hydrophila. These two domains are involved in pathogenesis of the aerolysin gene. Sequences for two restriction enzymes, Pst I and Hind III, were included in the forward and reverse primers respectively. These restriction enz...
متن کاملIsolation and identification of halophilicbacteria from Urmia Lake in Iran
Halophiles are in all three domains of life: Archaea, Bacteria and Eucarya. Halophilic microorganisms in addition to form major part of life biodiversity can have many biotechnological applications. The objective of this research is isolation and identification of halophilic bacteria from Urmia Lake in Iran and the study of its bacterial biodiversity. After sampling of brines from Urmia Lake fr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 264 شماره
صفحات -
تاریخ انتشار 2001